Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
701	Resource Bound Certification Karl Crary Stephanie Weirich Carnegie Mellon University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-11-01 14:35:06 Computability theory Deduction Proof theory Entailment Logical consequence Metalogic Ordinal number Lambda calculus Ordinal arithmetic Logic Mathematical logic Mathematics
702	A category-theoretic account of program modules Eugenio Moggi∗ [removed] LFCS, University of Edinburgh, EH9 3JZ Edinburgh, UK May 31, 1994 Add to Reading List Source URL: www.disi.unige.it Language: English - Date: 2002-07-31 04:31:16 Adjoint functors Functors Functional programming Lambda calculus Functor Monad Natural transformation Product Cartesian closed category Category theory Mathematics Abstract algebra
703	αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:16:25 Theoretical computer science Model theory Models of computation Admissible rule Modal logic Lambda calculus Symbol Unification Support Mathematical logic Mathematics Logic
704	Reactive Web Applications with Dynamic Dataflow in F# Anton Tayanovskyy Simon Fowler Loïc Denuzière Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Programming paradigms Computer architecture Computer data Dataflow Lambda calculus Reactive programming Static single assignment form Combinatory logic Futures and promises Computing Software engineering Computer programming
705	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-12-15 04:00:36 Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering
706	The inconsistency of a Brouwerian continuity principle with the Curry–Howard interpretation Martín Hötzel Escardó1 and Chuangjie Xu1 1 School of Computer Science, University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-04-15 05:54:45 Dependently typed programming Logic in computer science Type theory Proof theory Curry–Howard correspondence Philosophy of computer science Lambda calculus Intuitionistic type theory Constructible universe Mathematics Mathematical logic Theoretical computer science
707	AURA: Preliminary Technical Results University of Pennsylvania Technical Report MS-CISApril 17, 2008 Limin Jia Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Type theory Dependently typed programming Functional languages Logic in computer science Lambda calculus Calculus of constructions Generalized algebraic data type Monad Curry–Howard correspondence Software engineering Declarative programming Programming language theory
708	Microsoft Word - Chroma37.doc Add to Reading List Source URL: acma.asn.au Language: English - Date: 2006-04-05 10:00:00 Subroutines Recursion Higher-order functions Lambda calculus Impromptu Computer music Fold Callback Scheme Software engineering Computing Computer programming
709	sadhana manuscript No. (will be inserted by the editor) A compact kernel for the calculus of inductive constructions A. Asperti · W. Ricciotti · Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-02-26 11:27:55 Software engineering Matita Lambda calculus Calculus of constructions Unification Type system Typed lambda calculus Recursion Proof assistant Type theory Mathematics Theoretical computer science
710	Chapter 1 Semi-Explicit Parallel Programming in a Purely Functional Style: GpH Declarative programming languages can play an important role in the process of designing and implementing parallel systems. They bridge the g Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2008-04-14 04:42:28 Functional languages Procedural programming languages Models of computation Literate programming Haskell Parallel computing Lambda calculus Evaluation strategy Closure Software engineering Computing Computer programming

UPDATE